home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / mosmllib / test / susp.sml < prev    next >
Encoding:
Text File  |  1996-07-03  |  501 b   |  22 lines  |  [TEXT/R*ch]
  1. (* test/susp.sml -- 1995-05-21 *)
  2.  
  3. use "auxil.sml";
  4. val _ = load "Susp";
  5.  
  6. local 
  7.     open Susp
  8.     val v = ref 0
  9.     fun inc () = v := !v + 1;
  10. in
  11. val x = 177;
  12. val a1 = delay(fn () => (inc (); 1 + x));
  13. val test1 = check'(fn () => !v = 0);
  14. val x = 200;
  15. val test2 = check'(fn () => 178 = force a1);
  16. val test3 = check'(fn () => !v = 1);
  17. val test4 = check'(fn () => 178 = force a1);
  18. val test5 = check'(fn () => !v = 1);
  19. val test6 = check'(fn () => 178 = force a1);
  20. val test7 = check'(fn () => !v = 1);
  21. end
  22.